Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
781	February 23, Domain Decomposition: Using Massively Parallel Architectures In order to make efficient use of the present-day massively parallel architectures, we have Add to Reading List Source URL: kiwi.atmos.colostate.edu Language: English - Date: 2007-11-17 12:15:56 Parallel computing Algorithm Mathematical logic Theoretical computer science Geodesic grid Message Passing Interface Global climate model Atmospheric sciences Climatology Meteorology
782	Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. Add to Reading List Source URL: www.flypig.co.uk Language: English - Date: 2015-04-13 15:49:07 Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic
783	Pairwise-Difference Estimation of a Dynamic Optimization Model∗ Han Hong Stanford University Matthew Shum† Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2010-12-02 19:46:17 Statistical theory Entailment Logical syntax Metalogic Philosophical logic Normal distribution Asymptotic theory Logic Statistics Econometrics
784	Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:12 Formal methods Automated theorem proving Logic in computer science NP-complete problems Model checking Satisfiability Modulo Theories Boolean satisfiability problem KeY First-order logic Theoretical computer science Logic Mathematical logic
785	Client Outcomes & the Funding of Services Paul Flatau Centre for Social Impact (UWA) Thursday 27th June 2013, 9am to 12pm Add to Reading List Source URL: pango.org.au Language: English - Date: 2013-07-16 22:55:34 Sociology Logic model Ethics Thought Evaluation methods Evaluation Impact assessment
786	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Source URL: jucs.org Language: English - Date: 2006-11-02 05:53:39 Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type
787	An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:51 Action description language Interpretation Entailment Model theory Parity of a permutation Logic Metalogic Symbol
788	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-21 00:10:15 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic
789	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Function Unification Model theory Lambda calculus Μ operator Symbol Mathematics Mathematical logic Logic
790	A General Discrete Velocity Model Including Internal Degrees of Freedom Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Set theory Ordinal numbers Proof theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Collision Mechanics

UPDATE